<?php 
	session_start();
	if(!(isset($_SESSION['user_id']))) 
	{ 
		header( 'Location: permission_denied.php'); 
	} 
?>	